机译：无死锁和饥饿的可重入读者-作家：模型检查与定理证明相结合的案例研究
机译：通过将赛事-b转换为SMV将定理证明和模型检查在安全关键软件开发中结合
机译：通过谓词抽象将定理证明与模型检查相结合
机译：重新进入读者 - 作家：一个案例研究结合模型检查定理证明
机译：模型检查和定理证明：一个统一的框架。
机译：免疫检查点网络的建模解释了组合免疫检查点抑制剂治疗的协同作用及细胞因子对患者反应的影响
机译：重入的读者-作家：结合模型检验和定理证明的案例研究。
机译：模型检验定理证明中的失败猜想：一个案例研究
